assignment axiom

un. 赋值公理